A measurable cardinal with a closed unbounded set of inaccessibles from $o(\kappa )=\kappa $
نویسندگان
چکیده
منابع مشابه
A MEASURABLE CARDINAL WITH A CLOSED UNBOUNDED SET OF INACCESSIBLES FROM o(κ) = κ
We prove that o(κ) = κ is sufficient to construct a model V [C] in which κ is measurable and C is a closed and unbounded subset of κ containing only inaccessible cardinals of V . Gitik proved that o(κ) = κ is necessary. We also calculate the consistency strength of the existence of such a set C together with the assumption that κ is Mahlo, weakly compact, or Ramsey. In addition we consider the ...
متن کاملUltrafilters over a Measurable Cardinal
The extensive theory that exists on ~ca, the set of uitrafilters ov-.r the integers, suggests an analogous study of the family of g-complete ultrafih~rs over a measurable cardinal g > w. This paper is devoted to such a study, with emphasis on those aspects which make the uncountable case interesting and distinctive. Section 1 is a preliminary section, recapitulating some knov, n concepts and re...
متن کاملFull Reflection at a Measurable Cardinal
A stationary subset S of a regular uncountable cardinal re ects fully at regular cardinals if for every stationary set T of higher order consisting of regular cardinals there exists an 2 T such that S \ is a stationary subset of . Full Re ection states that every stationary set re ects fully at regular cardinals. We will prove that under a slightly weaker assumption than having Mitchell order +...
متن کاملA minimal Prikry-type forcing for singularizing a measurable cardinal
Recently, Gitik, Kanovei and the first author proved that for a classical Prikry forcing extension the family of the intermediate models can be parametrized by Pp!q{finite. By modifying the standard Prikry tree forcing we define a Prikry-type forcing which also singularizes a measurable cardinal but which is minimal, i.e. there are no intermediate models properly between the ground model and th...
متن کاملSome constructions of ultrafilters over a measurable cardinal
Some non-normal κ−complete ultrafilters over a measurable κ with special properties are constructed. Questions by A. Kanamori [4] about infinite Rudin-Frolik sequences, discreteness and products are answered.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Transactions of the American Mathematical Society
سال: 2001
ISSN: 0002-9947,1088-6850
DOI: 10.1090/s0002-9947-01-02853-7